Collapsing Autopia: Feliza Bursztyn’s Chatarras

Collapsing Closures

A description in the Jacobs and Langen domain is a set of sharing groups where each sharing group is a set of program variables. The presence of a sharing group in a description indicates that all the variables in the group can be bound to terms that contain a common variable. The expressiveness of the domain, alas, is compromised by its intractability. Not only are descriptions potentially exp...

Collapsing functions

We define what it means for a function on ω1 to be a collapsing function for λ and show that if there exists a collapsing function for (21), then there is no precipitous ideal on ω1. We show that a collapsing function for ω2 can be added by forcing. We define what it means to be a weakly ω1-Erdös cardinal and show that in L[E], there is a collapsing function for λ iff λ is less than the least w...

US immigrants and bicycling: Two-wheeled in Autopia

Immigrants to the United States—particularly new immigrants—are more likely than the native born to travel by bicycle. This paper explores the extent to which the use of bicycles by immigrants can be explained by variables such as income, age, automobile availability, and neighborhood characteristics. Results from multinomial logistic mode choice models suggest that, even after controlling for ...

On Collapsing Narrowing

Collapsing floating-point operations

This paper addresses the issue of collapsing dependent floatingpoint operations. The presentation focuses on studying the dataflow graph of benchmark involving a large number of floating-point instructions. In particular, it focuses on the relevance of new floating-point operators performing two dependent operations which are similar to “fused multiply and add”. Finally, this paper examines the...